用真值表来验证（p∨q）∧﹁q→p是否为有效式。

“共青团”和“共青团员”，这两个概念是（）。

• A、矛盾关系
• B、反对关系
• C、既非矛盾，也非反对的不相容关系
• D、属种关系

论证形式无效的有（）。

• A、（﹁p→q），（r→﹁s），（﹁q∨s）├p∨﹁r
• B、﹁（p∧q），﹁p├q
• C、（﹁p→r），（q→﹁s），（﹁s→r）├﹁p→r
• D、SIP├﹁PES
• E、SOP├POS